Logics with Counting ESSLLI 2009
نویسنده
چکیده
منابع مشابه
A Reading Companion to the ESSLLI Course "Logics for Agency and Multi-Agent Systems"
This paper is a reading companion to our introductory ESSLLI course on "Logics for Agency and Multi-Agent Systems". Proofs are omitted. This reader's aim is mostly to structure the material that will be presented at the course, and to point the attendees of the course to the relevant literature.
متن کاملNonmonotonic logics—recent advances
The ESSLLI course material has been compiled by Mirek Truszczynski. Unless otherwise mentioned, the copyright lies with the individual authors of the material. Mirek Truszczynski declares that he has obtained all necessary permissions for the distribution of this material. ESSLLI 2008 and its organizers take no legal responsibility for the contents of this booklet.
متن کاملCounting and Locality over Finite Structures: A Survey
We survey recent results on logics with counting and their local properties. We rst consider game-theoretic characterizations of rst-order logic and its counting extensions provided by unary generalized quantiiers. We then study Gaifman's and Hanf's locality theorems, their connection with game characterizations, and examples of their usage in proving expressivity bounds for rst-order logic and...
متن کاملThe Algebraic Structure of Amounts: Evidence from Comparatives
Heim [9] notes certain restrictions on quantifier intervention in comparatives and proposes an LF-constraint to account for this. I show that these restrictions are identical to constraints on intervention in wh-questions widely discussed under the heading of weak islands. I also show that Heim’s proposal is too restrictive: existential quantifiers can intervene. Both of these facts follow from...
متن کاملReasoning with Probabilities
This is an outline for the course “Reasoning with Probabilities” taught at the European Summer School for Logic, Language and Information in Bordeaux, France on July 26 31, 2009 (ESSLLI 2009). This document contains an extended outline of the course including pointers to relevant literature. The course website: ai.stanford.edu/∼epacuit/classes/esslli/epprob.html will contain the slides and a sc...
متن کامل